Order property of addition